Performance analysis of probabilistic action systems

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Probabilistic Behavior in Action Systems

Action systems were originally proposed for the design of parallel and distributed systems in a stepwise manner. Later the formalism has been successfully applied to the design of control systems. When designing control systems very often it is necessary to reason about, e.g. the probabilistic reliability of a controller or some other types of prob-abilistic phenomena. Within action systems for...

متن کامل

Coalgebraic analysis of probabilistic systems

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

متن کامل

Probabilistic Analysis of Gas Turbine Field Performance Probabilistic Analysis of Gas Turbine Field Performance Probabilistic Analysis of Gas Turbine Field Performance

A gas turbine thermodynamic cycle was computationally simulated and probabilistically evaluated in view of the several uncertainties in the performance parameters, which are indices of gas turbine health. Cumulative distribution functions and sensitivity factors were computed for the overall thermal efficiency and net specific power output due to the thermodynamic random variables. These result...

متن کامل

Probabilistic Evaluation of Seismic Performance of RC Bridges in Iran

 Many existing bridges were designed without adequate consideration of seismic risk. The full or partial collapse of even one major bridge in a city or community would have destroying results. There has been focuses on developing fragility-based seismic vulnerability of existing usual bridges in Iran or support decision making on seismic upgrade. This article focuses on developing performance b...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Formal Aspects of Computing

سال: 2004

ISSN: 0934-5043,1433-299X

DOI: 10.1007/s00165-004-0037-6